Add a bit more about profiling to the lispref
authorGlenn Morris <rgm@gnu.org>
Wed, 21 Nov 2012 01:52:03 +0000 (20:52 -0500)
committerGlenn Morris <rgm@gnu.org>
Wed, 21 Nov 2012 01:52:03 +0000 (20:52 -0500)
commit22af2bfa746e4000fbafb25a40ac0cdd18a6b257
treea9d4cd2caabd0c4319558dd7606b552d2c7ecc1b
parent1bf6c37b78bd16cd766ec3674f40ba917c462beb
Add a bit more about profiling to the lispref

* doc/lispref/debugging.texi (Profiling):
Add some basic information about the profile report buffer.
(Debugging): Mention profiling in the introduction.
doc/lispref/ChangeLog
doc/lispref/debugging.texi